Printed embedded data graphical user interfaces
نویسندگان
چکیده
منابع مشابه
Printed Embedded Data Graphical User Interfaces
G raphical user interfaces (GUIs) have become the dominant computer user interface paradigm during the past three decades. A typical system includes a computer with a bitmap display and a mouse or stylus for pointing and acting. Interaction is based upon selection and action at positions in the graphical display, guided by graphical content and the user’s intent. For example, the user can selec...
متن کاملSecuring graphical user interfaces
ion such as a widget set including buttons, menus, and other basic GUI elements. Performing the transformation of each client’s representation to pixels locally enables the GUI server to predict all graphical primitives that are needed for any screen update and, as a consequence, to estimate overall execution times of redrawing jobs in advance of execution. The sequence of graphical primitives ...
متن کاملGeneric Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper we introduce a new, easy to use method to program GUI applications in a pure functional language such as Clean or Generic Haskell. The method we use is a refined version of the model-view paradigm. The basic ...
متن کاملGraphical User Interfaces for Haskell
User interfaces are normally based on low-level trickery either within the run-time system, or in a separate program which has been connected to the stream I/O system of the language. We present a new twist to this by giving some intelligence to the outside system, which will have greater control of the interface. This has a number of benefits: it makescreating new programs easier, increases th...
متن کاملModel Checking Graphical User Interfaces
Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-nite state-spaces. This paper investigates abstractions that make it possible to cost-eeectively model check speciicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 2001
ISSN: 0018-9162
DOI: 10.1109/2.910893